lim(xrarr0) (xcos x-log(1 x))